Data-flow analysis - PDFSEARCH.IO - Document Search Engine

Data-flow analysis
Results: 379

#	Item
41	A Static Analyzer for Large Safety-Critical Software (Extended Abstract) Bruno Blanchet ∗ § Laurent Mauborgne § Patrick Cousot § Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:44:48 Computing Software engineering Computer programming Abstract interpretation Data types Functional languages Denotational semantics Function Array data type Scala Widening Data-flow analysis
42	Checking More and Alerting Less: Detecting Privacy Leakages via Enhanced Data-flow Analysis and Peer Voting Kangjie Lu1 , Zhichun Li2 , Vasileios P. Kemerlis3 , Zhenyu Wu2 , Long Lu4 , Cong Zheng1, Zhiyun Qian5 , Wenke L Add to Reading List Source URL: wenke.gtisc.gatech.edu Language: English - Date: 2014-12-07 22:14:50
43	Transformation-aware Exploit Generation using a HICFG Dan Caselden Alex Bazhanyuk Mathias Payer Laszlo Szekeres Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-16 23:27:09 Computer memory Computing Software bugs Software engineering Cyberwarfare Buffer overflow Program analysis Control flow graph Data buffer Data-flow analysis Vulnerability
44	Exploratory analysis of pedestrian flow characteristics in mobility hubs using trajectory data Marija Nikolić, Transp - OR, EPFL Bilal Farooq, Transp - OR, EPFL Michel Bierlaire, Transp - OR, EPFL Add to Reading List Source URL: www.strc.ch Language: English - Date: 2013-05-17 10:59:13 Transport Land transport Road safety Traffic law Road traffic management Road transport ETH Domain cole Polytechnique Fdrale de Lausanne Traffic Fluid mechanics
45	Sound and Precise Analysis of Parallel Programs through Schedule Specialization Jingyue Wu Yang Tang Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2016-01-23 22:11:33 Parallel computing Compiler optimizations Concurrent computing Concurrency OpenMP Thread Synchronization Optimizing compiler Data-flow analysis Static single assignment form POSIX Threads
46	Static Detection and Automatic Exploitation of Intent Message Vulnerabilities in Android Applications Daniele Gallingani Rigel Gjomemo, V.N. Venkatakrishnan Add to Reading List Source URL: ieee-security.org Language: English - Date: 2015-05-20 23:58:55 Computing Cyberwarfare Software engineering Hacking Software testing SQL Computer security Data management SQL injection Vulnerability Data-flow analysis Denial-of-service attack
47	Spatial and Temporal Analysis of Congestion in Urban Transportation Networks Yuxuan Ji Nikolas Geroliminis STRC 2010 Add to Reading List Source URL: www.strc.ch Language: English - Date: 2010-08-28 08:23:41 Transport Land transport Road transport Geostatistics Cluster analysis Data mining Graph partition Image segmentation K-means clustering Traffic flow Fundamental diagram of traffic flow Silhouette
48	A DEMAND-DRIVEN APPROACH FOR EFFICIENT INTERPROCEDURAL DATA FLOW ANALYSIS by Evelyn Duesterwald Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2006-05-12 12:39:54
49	RFID Meets the Internet Increasing Supply-Chain Visibility with Rule-Based RFID Data Analysis RFID technology tracks the flow of physical items and goods in supply chains Add to Reading List Source URL: cocoa.ethz.ch Language: English - Date: 2013-05-23 01:51:43 Radio-frequency identification EPCIS EPCglobal Internet of things Electronic Product Code Mobile RFID Traceability Automatic identification and data capture Auto-ID Labs Authentication EPCglobal Network IBM RFID Information Center
50	2008 Annual Computer Security Applications Conference Bridging the Gap between Data-flow and Control-flow Analysis for Anomaly Detection∗ Peng Li University of North Carolina at Chapel Hill Add to Reading List Source URL: flyer.sis.smu.edu.sg Language: English - Date: 2014-12-17 01:40:50